Representation type under excellent extensions
نویسندگان
چکیده
منابع مشابه
Invariant properties of representations under excellent extensions
Article history: Received 31 December 2010 Available online 14 March 2012 Communicated by Luchezar L. Avramov MSC: 16G10 16G60 16S20
متن کاملSPINOR GENERA UNDER Zp-EXTENSIONS
Let L be a quadratic lattice over a number field F . We lift the lattice L along a Zp-extension of F and investigate the growth of the number of spinor genera in the genus of L. Let Ln be the lattice obtained from L by extending scalars to the n-th layer of the Zp-extension. We show that, under various conditions on L and F , the number of spinor genera in the genus of Ln is 2 +O(1) where η is ...
متن کاملNon-Linear Type Extensions , 1994
Type extension is a language facility proposed by N. Wirth and included in the programming language Oberon. The facility allows a type to be created based on another type while maintaining a hierarchic type relationship. This paper gives an introduction to the type extension facility as it is implemented in Oberon and shows how it can be general ised to allow a non-l inear type hierarchy to be ...
متن کاملExtensions of Pure Type Systems
We extend pure type systems with quotient types and subset types and establish an equivalence between four strong normalisation problems: subset types, quotient types, deenitions and the so-called K-rules. As a corollary, we get strong normalisation of ECC with deeni-tions, subset and quotient types.
متن کاملOn graph equivalences preserved under extensions
Let G be the set of finite graphs whose vertices belong to some fixed countable set, and let ≡ be an equivalence relation on G. By the strengthening of ≡ we mean an equivalence relation ≡s such that G ≡s H , where G,H ∈ G, if for every F ∈ G, G ∪ F ≡ H ∪ F . The most important case that we study in this paper concerns equivalence relations defined by graph properties. We write G ≡ H , where Φ i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematical Forum
سال: 2014
ISSN: 1314-7536
DOI: 10.12988/imf.2014.4348